find_by_comparator
container.sorted_array.find_by_comparator
Postcondition
post
match result
i i32 => cmp sorted_array.this[i] = equal
nil => true0.095dev (GIT hash 6fe4713e6f0ffc9fa21235ced6756ebe4d5da1fe)
post
match result
i i32 => cmp sorted_array.this[i] = equal
nil => true
The guaranteed performance is in O(log n) comparisons.
result is the index where cmp results in 0 or nil if no such index
was found in this array. In case several instance equal match,
the index of one matching key will be returned, but is not
specified which one.
NYI: CLEANUP: find better name